Program Transformation : Theoretical Foundations and Basic Techniques
نویسندگان
چکیده
(v) interaction of program transformation with related methodologies for assisting software development, (vi) languages and systems for specifying and applying program transformations; and (vii) case studies, that is, derivation of non-trivial algorithms from specifications and automated generation of software systems. Among all papers we have received, twelve papers were selected for publication. Five papers were published in the first Special Issue and the remaining seven papers are published in this second Special Issue. describes several extensions of the tupling transformation technique, which has been proposed as a means for the elimination of redundant calls in functional programs. The authors consider a first-order functional language and provide a polynomial time program analysis which ensures the termination of the tupling transformation. In the class of programs where the analysis succeeds, the elimination of redundant calls can be performed at compile-time in a fully automatic way.
منابع مشابه
Program Transformation : Theoretical Foundations and Basic Techniques
Over the last three decades the program transformation methodology has been proved to be a powerful technique for deriving programs from specifications, verifying program properties, specializing programs w.r.t. their context of use, and deriving more efficient program versions from less efficient ones. The transformation methodology has been first proposed in the area of functional programming...
متن کاملProgram Transformation: Theoretical Foundations and Basic Techniques. Part 1
Over the last three decades the program transformation methodology has been proved to be a powerful technique for deriving programs from specifications, verifying program properties, specializing programs w.r.t. their context of use, and deriving more efficient program versions from less efficient ones. The transformation methodology has been first proposed in the area of functional programming...
متن کاملAdvanced Logic Program Specialisation
In first part of this course [28] we have laid the theoretical foundations for logic program specialisation, notably introducing the technique of partial deduction along with some basic techniques to automatically control it. In this part of the course we first present in Section 2 an advanced way of controlling polyvariance based upon characteristic trees. We then show in Section 3 how partial...
متن کاملProof Planning with Schema Frameworks ?
Recently, schema-based program transformation and synthesis techniques have received a lot of attention, especially at LOPSTR. It seems that schema-based techniques often fall into one of two categories: either they are pragmatic, designed for carrying out real program transformation or synthesis operations, but lacking the logical basis that they need to ensure that they really do synthesise/t...
متن کاملReview of “ Specification and Transformation of Programs ” by Helmut Partsch , Springer - Verlag , 1990 Fritz
data types, as a linguistic vehicle for the core material. In the CIP approach a specification is transformed through several linguistic layers of CIP-L: from a descriptive specification (with non-operational set-theoretic and logical dictions) via an applicative specification (an operational functional program with recursion and abstract data types — abstract in the sense that they do not have...
متن کامل